221. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
222. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
223. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
224. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
225. An introduction to mathematical logic & type theory:to truth
پدیدآورنده : ANDREWS,PETER BRUCE
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
226. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
227. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
228. An introduction to mathematical thought
پدیدآورنده : / by E. R. Stabler
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematics - Philosophy,Logic - Symbolic and mathematical
رده :
510
.
1
St-I
229. An introduction to mathemational machine theory
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic data processing,Mathematical models,Automata,Logic, Symbolic and mathematical
رده :
510
.
78
Gi-I
230. An introduction to modern mathematics
پدیدآورنده : Monjallon, Albert
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
231. An introduction to non-classical logic
پدیدآورنده : Priest, Graham, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75I5
232. An introduction to non-classical logic
پدیدآورنده : Priest, Graham
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75
2001
233. An introduction to non-classical logic
پدیدآورنده : Priest, Graham.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Nonclassical mathematical logic,، Logic
رده :
QA
9
.
4
.
P7I5
234. An introduction to non-classical logic : from if to is
پدیدآورنده : Priest, Graham, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75I5
2008
235. An introduction to non-classical logic : moving about in worlds not realised
پدیدآورنده : Priest, Graham.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75
2001
236. An introduction to practical formal methods using temporal logic
پدیدآورنده : / Michael Fisher
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Temporal automata,Logic, Symbolic and mathematical
رده :
QA267
.
5
.
T45
,
F57
2011
237. An introduction to stymbolic logic
پدیدآورنده : Langer, susanne katherina)Knauth(5981-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، logic, symbolic and Mathematical
رده :
BC
135
.
L35
1967
238. An introduction to substructural logics
پدیدآورنده : Restall, Greg
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R47
2000
239. An introduction to symbolic logic
پدیدآورنده : Langer, Susanne Katherina Knauth
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L35
240. An introduction to symbolic logic
پدیدآورنده : / by Susanne K. Langer
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
BC135
.
L35
1967
